Corelab

Computation and Reasoning Laboratory

Corelab Seminar
2008-2009

Ioannis Kassios (NTUA - U. Toronto)
Formal methods and program verification

Send mail to with questions or comments about this web site.
© 2008 Computation and Reasoning Laboratory | Design by: styleshout | Valid XHTML | CSS

Corelab

Corelab Seminar 2008-2009

Ioannis Kassios (NTUA - U. Toronto) Formal methods and program verification

Corelab Seminar
2008-2009

Ioannis Kassios (NTUA - U. Toronto)
Formal methods and program verification